ATM缩写的意思-自动定理证明器
ATM是什么意思
- 【英文缩写】: ATM
- 【英文全称】: Automated Theorem Prover
- 【中文解释】: 自动定理证明器
- 【缩写分类】: 机构组织
- 【缩写简介】: ATM 相关英文缩写
以上为Automated Theorem Prover英文缩略词ATM的中文解释及分类。
ATM英文缩写
| 英文缩写 | 英文全称 | 中文意思 |
|---|---|---|
| ATM | Automated Theorem Prover | 自动定理证明器 |
| ATM | Annual Technical Meeting | 年度技术会议 |
| ATM | Airborne Thematic Mapper | 机载专题地图仪 |
| ATM | Aerosol Trajectory Model | 气溶胶轨迹模型 |
| ATM | Advanced Traffic Mapping | 高级流量映射 |
| ATM | Arabian Travel Market | 阿拉伯旅游市场 |
| ATM | American Turf Monthly | 美国草皮月刊 |
| ATM | Advanced Testing Mode | 高级测试模式 |
| ATM | Automated Teller Machine | 自动取款（出纳）机 |
| ATM | Association of Teachers of Mathematics | 数学教师协会[英] |
上表最多展示ATM的10条常用含义，点击
ATM
查看更多。